# Boolean algebra rules
ADD_SUBDIRECTORY(propositional)

# Term logic rules
ADD_SUBDIRECTORY(term)

# Predicate logic rules
ADD_SUBDIRECTORY(predicate)

# Work in progress rules
ADD_SUBDIRECTORY(wip)
